Buy Used and New Dines Bjørner Books

Modelling Systems: Practical Tools and Techniques in Software Development

by John Fitzgerald, Peter Gorm Larsen, Dines Bjørner, Cliff Jones

ISBN 13: 9780521623483

Format: Paperback (288 pages)
Publisher: Cambridge University Press
Published: 25 Jun 1998

Save for later

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

by Dines Bjørner,Martin C. Henson

ISBN 13: 9783642093456

Format: Paperback (648 pages)
Publisher: Springer
Published: 22 Nov 2010

Save for later